From cd051d1c49d586181e887f8c983c7df201a18d5d Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucab@debian.org>
Date: Sat, 27 Jan 2018 15:11:06 +0530
Subject: [PATCH] _local-jquery

Gbp-Pq: Name 2003_local-jquery.patch
---
 src/doc/html-headers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/html-headers.html b/src/doc/html-headers.html
index 80ad896f3..c3bdc1bad 100644
--- a/src/doc/html-headers.html
+++ b/src/doc/html-headers.html
@@ -1,2 +1,2 @@
-<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
+<script src="jquery.js"></script>
 <link rel="icon" type="image/x-icon" href="favicon.ico">
-- 
2.30.2